-
1 logically valid
Большой англо-русский и русско-английский словарь > logically valid
-
2 logically valid
Математика: логически истинный -
3 logically valid
-
4 logically valid
мат. -
5 logically valid formula
Математика: логически общезначимая формулаУниверсальный англо-русский словарь > logically valid formula
-
6 logically valid sentence
Математика: логически общезначимое предложениеУниверсальный англо-русский словарь > logically valid sentence
-
7 logically valid formula
English-Russian scientific dictionary > logically valid formula
-
8 logically valid sentence
English-Russian scientific dictionary > logically valid sentence
-
9 logically valid formula
Англо-русский словарь по исследованиям и ноу-хау > logically valid formula
-
10 logically valid sentence
Англо-русский словарь по исследованиям и ноу-хау > logically valid sentence
-
11 logically
1) логично
2) логически
3) последовательно ∙ logically consistent data ≈ логически непротиворечивые данные logically constructed relation ≈ логически построенное соотношение logically defined class ≈ логически определенный класс logically determinate event ≈ логически определенное событие logically determinate formula ≈ логически определенная формула logically equivalent circuits ≈ логически эквивалентные схемы logically equivalent propositions ≈ логически эквивалентные высказывания logically equivalent statements ≈ логически эквивалентные высказывания logically false expression ≈ логически ложное выражение logically indeterminate event ≈ логически неопределенное событие logically irreducible relation ≈ логически неприводимое соотношение logically necessary hypothesis ≈ логически необходимая гипотеза logically related events ≈ логически связанные события logically true expression ≈ логически истинное выражение logically true sentence ≈ логически истинное предложение logically true statement ≈ логически истинное высказывание logically universal sentence ≈ логически универсальное предложение logically valid formula ≈ логически общезначимая формула logically valid sentence ≈ логически общезначимое предложение - logically absurd - logically complex - logically conclusive - logically consistent - logically contradictory - logically correct - logically defined - logically dependent - logically determinate - logically equivalent - logically exhaustive - logically false - logically imply - logically impossible - logically inconsistent - logically independent - logically indeterminate - logically justifiable - logically necessary - logically true - logically universal - logically valid - multiply logically логично;
логически логически рассуждая - *, one should become wiser with experience but some people never do по логике, нам следовало бы становиться умнее с годами, но некоторым из нас это не удаетсяБольшой англо-русский и русско-английский словарь > logically
-
12 valid
1) адекватный; верный2) годный3) действительный; законный; имеющий силу4) обоснованный; справедливый5) общезначимый6) применимый•to hold valid — матем. сохранять силу; оставаться действительным
set valid in realization — множество, общезначимое в реализации
-
13 valid
вчт1) допустимый; законный; справедливый; правильный2) истинный; верный3) обоснованный; достоверный•- asymptotically validto remain valid — оставаться справедливым; сохранять силу
- logically valid
- statistically valid
- strongly valid -
14 formula
1) рецепт2) формула || формульный3) формулировка•- arithmetically valid formula - back interpolation formula - computational formula - computing formula - corrector formula - formally decidable formula - formally refutable formula - formula of finite increments - geometrically valid formula - homomorphically stable formula - identically false formula - identically true formula - intuitionistically valid formula - logically valid formula - maximum likelihood formula - modally valid formula - monotonically increasing formula - numeralwise expressible formula - numeralwise representable formula - positively valid formula - primitively recursive formula - reciprocity formula - secondarily valid formula - square stable formula - universally valid formulato follow the formula — подчиняться [следовать] формуле; описываться формулой
-
15 sentence
1) высказывание; предложение; фраза2) суждение•- almost false sentence - almost true sentence - analytically expressible sentence - arithmetically expressible sentence - logically universal sentence - logically valid sentence -
16 логически истинный
Большой англо-русский и русско-английский словарь > логически истинный
-
17 expression
-
18 statement
1) высказывание; утверждение2) предложение3) констатация4) описание5) положение6) постановка ( задачи)7) формулировка8) отчёт; бюллетень9) мат. оператор•- truth statementneither statement is true — ни то, ни другое утверждение неверно
См. также в других словарях:
valid — adj. 1 legally acceptable VERBS ▪ be ▪ become ▪ remain, stay ▪ deem sth, hold sth ▪ … Collocations dictionary
valid — adjective Etymology: Middle French or Medieval Latin; Middle French valide, from Medieval Latin validus, from Latin, strong, potent, from valēre Date: 1571 1. having legal efficacy or force; especially executed with the proper legal authority and … New Collegiate Dictionary
logically — adv. Logically is used with these adjectives: ↑coherent, ↑compatible, ↑compelling, ↑consistent, ↑equivalent, ↑impossible, ↑incompatible, ↑inconsistent, ↑independent, ↑necessary, ↑ … Collocations dictionary
Entailment — For other uses, see Entail (disambiguation). In logic, entailment is a relation between a set of sentences (e.g.,[1] meaningfully declarative sentences or truthbearers) and a sentence. Let Γ be a set of one or more sentences; let S1 be the… … Wikipedia
First-order logic — is a formal logical system used in mathematics, philosophy, linguistics, and computer science. It goes by many names, including: first order predicate calculus, the lower predicate calculus, quantification theory, and predicate logic (a less… … Wikipedia
Gödel's completeness theorem — is a fundamental theorem in mathematical logic that establishes a correspondence between semantic truth and syntactic provability in first order logic. It was first proved by Kurt Gödel in 1929. A first order formula is called logically valid if… … Wikipedia
Propositional calculus — In mathematical logic, a propositional calculus or logic (also called sentential calculus or sentential logic) is a formal system in which formulas of a formal language may be interpreted as representing propositions. A system of inference rules… … Wikipedia
Problem of evil — Part of a series on God General conceptions … Wikipedia
Interpretation (logic) — An interpretation is an assignment of meaning to the symbols of a formal language. Many formal languages used in mathematics, logic, and theoretical computer science are defined in solely syntactic terms, and as such do not have any meaning until … Wikipedia
Rationality — as a term is related to the idea of reason, a word which following Webster s may be derived as much from older terms referring to thinking itself as from giving an account or an explanation. This lends the term a dual aspect. One aspect… … Wikipedia
Argumentation theory — Argumentation theory, or argumentation, embraces the arts and sciences of civil debate, dialogue, conversation, and persuasion; studying rules of inference, logic, and procedural rules in both artificial and real world settings. Argumentation is… … Wikipedia